Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
241	FliPpr A Prettier Invertible Printing System Kazutaka Matsuda (Univ. of Tokyo) Meng Wang (Chalmers Univ. of Tech.) Add to Reading List Source URL: www2.sf.ecei.tohoku.ac.jp Language: English - Date: 2013-05-31 02:47:36 Computer programming Formal languages Software engineering Source code Software Compiler construction Parsing Prettyprint Formal grammar
242	Controlling Extraction in Abstract Categorial Grammars Sylvain Pogodalla1 and Florent Pompigne2 1 Add to Reading List Source URL: www.angl.hu-berlin.de Language: English Theoretical computer science Grammar frameworks Complexity classes Theory of computation Type theory Formal languages Mathematics Categorial grammar NP Lambda calculus Model theory
243	OpenNWA: A Nested-Word Automaton Library⋆ Evan Driscoll1 , Aditya Thakur1 , and Thomas Reps1,2 1 Computer Sciences Department, University of Wisconsin – Madison {driscoll,adi,reps}@cs.wisc.edu Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2012-09-06 17:14:22 Formal languages Finite automata Nested word Words Finite-state machine
244	Python basics Xiao-jiang Li, Ph. D Candidate Department of Geography, UCONN Introduction of Python • Python is ideal for non-professional programmers Add to Reading List Source URL: scholarscollab.uconn.edu Language: English - Date: 2015-10-07 13:10:57 Software engineering Software Computing Data types Formal languages Free statistical software Python NumPy Pandas String Scripting language Python syntax and semantics
245	Specware 4.2 Language Manual Specware 4.2 Language Manual Copyright © by Kestrel Development Corporation Copyright © by Kestrel Technology LLC All rights reserved Add to Reading List Source URL: www.specware.org Language: English - Date: 2012-04-12 03:46:19 Software engineering Computing Computer programming Formal languages Theoretical computer science Notation Programming language Specification Category C Regular expression Web Ontology Language
246	t-regex Matching using tree regular expressions Alejandro Serrano Mena Universiteit Utrecht Add to Reading List Source URL: wwwhome.cs.utwente.nl Language: English - Date: 2015-01-13 10:58:08 Software engineering Computer programming Declarative programming Functional programming Data types Formal languages Regular expressions Pattern matching List Cons TRE Algebraic data type
247	Degrees of undecidability of in Term Rewriting J¨org Endrullis, Herman Geuvers, Hans Zantema Radboud University Nijmegen, Technical University Eindhoven, Free University Amsterdam, The Netherlands CSL 2009 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2010-01-06 11:26:31 Theoretical computer science Mathematics Logic Mathematical logic Formal languages Logic in computer science Automated theorem proving Logic programming Rewriting Confluence Rewrite order Substitution
248	Automated Software Testing for the 21st Century Patrice Godefroid Microsoft Research TCE’2015 Add to Reading List Source URL: tce.technion.ac.il Language: English - Date: 2015-06-18 08:12:13 Software engineering Computing Software testing Software Concurrent programming languages Electronic design automation Formal methods NP-complete problems Fuzz testing Random testing Satisfiability modulo theories Symbolic execution
249	Languages for Computational Creativity Generative Art and Interactive Worlds (Full Presentation) Chris Martens Carnegie Mellon University Add to Reading List Source URL: popl-obt-2014.cs.brown.edu Language: English - Date: 2014-01-15 09:36:35 Logic Visual arts Abstraction Programming paradigms Non-classical logic Formal languages Grammar Logic in computer science Generative art Logic programming Linear logic Generative music
250	Staged Self-Assembly and Polyomino Context-Free Grammars A dissertation submitted by Andrew Winslow in partial fulfillment of the requirements for the degree of Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2013-12-11 13:23:36 Formal languages Polyforms Mathematical games Mathematics Polyomino Language Culture Stochastic context-free grammar Context-free grammar CFGS CFG Context-free language

UPDATE